$\forall$$m$, $a$, $b$:$\mathbb{Z}$. ($a$ = $b$ mod $m$) $\in$ Prop